Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
171	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
172	ECSYM Part B1- Section 1d EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel —the next-generation semantics Section 1d: Extended Synopsis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:55:17 Models of computation Programming language semantics Applied mathematics Concurrency Denotational semantics Power domains Semantics Operational semantics Petri net Theoretical computer science Computer science Logic in computer science
173	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
174	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
175	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
176	Types for Deterministic Concurrency by Tachio Terauchi B.S. (Columbia University[removed]M.S. (University of California, Berkeley[removed]A dissertation submitted in partial satisfaction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-17 01:41:19 Computer science Concurrency George Necula Parallel computing Operational semantics Programming language Applied mathematics Process calculi Theoretical computer science Logic in computer science Programming language semantics
177	Domain Theory and the Logic of Observable Properties Samson Abramsky Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-03-07 07:28:20 Logic in computer science Programming language semantics Formal sciences Model theory Denotational semantics Operational semantics Semantics Proof theory Interpretation Logic Mathematical logic Theoretical computer science
178	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
179	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
180	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science

UPDATE